SpySMAC

Run with best incumbent examples/spear_qcp_small/example_output_1 Cutoff 5
# Train instances 10 Walltime budget 50
# Test instances 10 Runcount budget inf
# Parameters 26 CPU budget inf
Deterministic False
Default Incumbent
-------------- Changed parameters: -------------- ----- -----
sp-clause-activity-inc 1 1.03619
sp-clause-decay 1.4 1.80047
sp-clause-del-heur 2 0
sp-first-restart 100 503
sp-learned-clause-sort-heur 0 5
sp-learned-clauses-inc 1.3 1.44637
sp-learned-size-factor 0.4 0.212442
sp-orig-clause-sort-heur 0 2
sp-phase-dec-heur 5 4
sp-rand-var-dec-freq 0.001 0.005
sp-resolution 1 0
sp-restart-inc 1.5 1.44486
sp-use-pure-literal-rule 1 0
sp-var-activity-inc 1 1.38284
sp-var-dec-heur 0 8
sp-variable-decay 1.4 1.39724
sp-max-res-lit-inc 1 inactive
sp-max-res-runs 4 inactive
sp-rand-phase-dec-freq 0.001 0.0001
sp-rand-var-dec-scaling 1 0.370268
sp-res-cutoff-cls 8 inactive
sp-res-cutoff-lits 400 inactive
sp-res-order-heur 0 inactive
sp-rand-phase-scaling 1 1.04195
-------------- Unchanged parameters: -------------- ----- -----
sp-update-dec-queue 1 1
Default Incumbent
Train Test Train Test
PAR10 5.321 0.196 0.016 0.012
PAR1 0.821 0.196 0.016 0.012
Timeouts 1/10 0/10 0/10 0/10
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
-------------------- Single importance: -------------------- --------------------
sp-orig-clause-sort-heur 0.491408
sp-var-dec-heur 0.125679
-------------------- Pairwise importance: -------------------- --------------------
sp-orig-clause-sort-heur & sp-var-dec-heur 0.699179
sp-orig-clause-sort-heur & sp-learned-clause-sort-heur 0.550257
sp-orig-clause-sort-heur & sp-res-order-heur 0.525039
sp-orig-clause-sort-heur & sp-learned-clauses-inc 0.505355
sp-var-dec-heur & sp-res-order-heur 0.160065
sp-var-dec-heur & sp-learned-clause-sort-heur 0.143452
sp-var-dec-heur & sp-learned-clauses-inc 0.131985
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Error
saps_BestAvgImprovement_Mean 2.780569
POSNEG_RATIO_CLAUSE_min 2.785897
gsat_FirstLocalMinStep_Mean 2.778966
VCG_CLAUSE_entropy 2.790811
Plot